符号的片面化与术语翻译中的理据性问题

符号片面化是术语翻译构建术语理据的重要手段,译者通过符号对应建立起概念对应,用意义简写式引发认知主体对概念意义的感知,进而构建出术语理据。意义简写式既要凸显概念的本质特征,还需兼顾概念的系统性。在实践中还需避免符号的虚假对应问题。     

New Develoopment of the Basic Theory of Extenics

In this paper,the new development of three basic theories of Extenics,incluing basic-element theory,extension set theory and extension logic theory ,has been introduced.And the new theoretical frame of Extenics has also been set forth.     

数学难以理解的逻辑透视

对数学教学内容的逻辑结构、逻辑规则和方法以及数学语言进行逻辑透视，探讨数学难以理解的客观因素及对策．     

PLC对电动机位移控制的制动实验

PLC应用微分算术左移 @ASL ( 2 5 )指令和微分算术右移 @ASR ( 2 6)指令 ,完成对3台电机的控制 .1 # 电机停止采用能耗制动控制 ,2 # 电机停止采用反接制动控制 .     

PLC在双动压力机控制系统中的应用

PLC应用:ROL(027)循环左移指令、ROR(028)循环右移指令完成自动与手动控制,INC(038)BCD码加1指令完成单次控制,@ROR(028)微分循环右移指令完成循环控制,DIV(033)BCD码除法指令完成安全工作报警控制.     

温公颐中国逻辑史研究方法论初探

温公颐先生中国逻辑史研究的方法论涉及一般原则和具体方法两个层面。其中,一般原则主要包括"贵有创见"、实事求是和发展的观点3个方面。具体方法主要有比较的方法、语言学的方法以及逻辑与历史统一的方法等。温公颐中国逻辑史研究的方法论,在一定意义上是对近代以来中国逻辑史研究中简单比附这一思路与方法的有力矫正。     

计算机化简逻辑函数的算法研究

针对计算机化简逻辑函数普遍存在操作复杂、存贮容量大、运算速度慢等问题，该文用改进的重复包含算法寻找逻辑函数的质蕴涵，选择极值法求最小覆盖，并对循环函数进行处理。实验表明，这种算法可以减少存储容量、加快运算速度，而且可以增大算法的应用范围。因此，该算法在数字电子设计自动化中具有广泛的应用前景。     

一些非线性发展方程的周期解

利用辅助椭圆方程给出了求解非线性发展方程的精确周期解的一种代数方法，借助计算机的符号计算，求得了mKdV方程和非线性Klein-Gordon方程的多种精确周期解，这些解包括了已有的用Jacobi椭圆函数展开法所求得的周期解．在极限情形下，退化为相应的孤立波解或冲击波解．     

一阶逻辑完备性定理的新代数证明

给出了一阶逻辑完备性定理的一个新的代数证明，这个证明不使用依赖于Boole代数表示定理的γ-解释，但使用关于Q-滤子△↓的△↓-解释，也需要用到选择公理，另外指出了已有代数证明的不足之处，并作了修正。     

组合逻辑电路的无反变量输入设计

本文阐述了组合逻辑电路无反变量输入的设计思想，并通过设计实例给出了具体的设计方法与步骤．